mine pumping - Allemand Anglais Dictionnaire